Nuprl Definition : dsdeq 11,40
dsdeq(d;a) == (d.2)(a) 
latex

Definitionst.2
FDL editor aliasesdsdeq

origin